Following surveys identifying the need for ongoing learning in relation to law and ethics amongst health professionals, the Law and Ethics Education and Development initiative was launched. This was a programme of education designed for, and delivered to, health professionals working within the National Health Service , UK, with the added value of multiprofessional learning amongst colleagues from a single institution. The initiative was funded by the NHS Executive and provided for two lecturers to work for three years within the (...) northwest region. The lecturers, an academic lawyer based at the University of Liverpool, and an ethicist based at the University of Manchester worked in collaboration through the auspices of the Institute of Medicine Law and Bioethics. A central …. (shrink)

Prominent thinkers such as Jurgen Habermas and Michael Sandel are warning that biomedical enhancements will undermine fundamental political values. Yet whether biomedical enhancements will undermine such values depends on how biomedical enhancements will function, how they will be administered and to whom. Since only few enhancements are obtainable, it is difficult to tell whether these predictions are sound. Nevertheless, such warnings are extremely valuable. As a society we must, at the very least, be aware of developments that could have harmful (...) consequences. Indeed, if important values were to be jeopardized, we should take appropriate measures to protect them. This paper focuses on four central values: solidarity, personal responsibility, equality and autonomy. It delineates the conditions under which biomedical enhancements would undermine these values. It also details the circumstances under which these values would be unaffected by enhancements as well as those under which they would be promoted. Specifying these conditions is valuable; it would enable society to prepare appropriate ethical guidelines and policy responses in advance. (shrink)

ABSTRACT Real-time graphical interval logic is a modal logic for reasoning about time in which the basic modality is the interval. The logic differs from other logics in that it has a natural intuitive graphical representation that resembles the timing diagrams drawn by system designers. We have developed an automted deduction system for the logic, which includes a theorem prover and a user interface. The theorem prover checks the validity of proofs in the logic and produces counterexamples to invalid proofs. (...) The user interface includes a graphical editor that enables the user to create graphical formulas on a workstation display, and a database and proof manager that tracks proof dependencies and allows graphical formulas to be stored and retrieved. In this paper we describe the logic, the automated deduction system, and an application to robotics. (shrink)

This paper recasts the normative shape of Fear and Trembling by presenting an ‘ethical reading’ based on an ethic of care. It will be argued that Abraham's response represents a commitment to sustain and deepen his fundamental relationship with God, to make absolute his relation to the Absolute. Since most readers tend to focus myopically on ‘the trial’ itself, apart from the context and history of the God-relationship, the proffered interpretations tend inevitably to distort the nature and significance of Abraham's (...) form of life. By remembering the pattern of attachment between God and Abraham, I think that a different normative picture will emerge, one which can be expressed in the grammar of care. (shrink)

Argument-places play an important role in our dealing with relations. However, that does not mean that argument-places should be taken as primitive entities. It is possible to give an account of ‘real’ relations in which argument-places play no role. But if argument-places are not basic, then what can we say about their identity? Can they, for example, be reconstructed in set theory with appropriate urelements? In this article, we show that for some relations, argument-places cannot be modeled in aneutralway in (...) V[A], the cumulative hierarchy with basic ingredients of the relation as urelements. We argue that a natural way to conceive of argument-places is to identify them with abstract, structureless points of a derivative structure exemplified by positional frames. In case the relation has symmetry, these points may be indiscernible. (shrink)